The freeness of ideal subarrangements of Weyl arrangements

A Weyl arrangement is the arrangement defined by the root system of a finite Weyl group. When a set of positive roots is an ideal in the root poset, we call the corresponding arrangement an ideal subarrangement. Our main theorem asserts that any ideal subarrangement is a free arrangement and that its exponents are given by the dual partition of the height distribution, which was conjectured by Sommers-Tymoczko. In particular, when an ideal subarrangement is equal to the entire Weyl arrangement, our main theorem yields the celebrated formula by Shapiro, Steinberg, Kostant, and Macdonald. The proof of the main theorem is classification-free. It heavily depends on the theory of free arrangements and thus greatly differs from the earlier proofs of the formula. Résumé. Un arrangement de Weyl est défini par l’arrangement d’hyperplans du système de racines d’un groupe de Weyl fini. Quand un ensemble de racines positives est un idéal dans le poset de racines, nous appelons l’arrangement correspondant un sous-arrangement idéal. Notre théorème principal affirme que tout sous-arrangement idéal est un arrangement libre et que ses exposants sont donnés par la partition duale de la distribution des hauteurs, ce qui avait été conjecturé par Sommers-Tymoczko. En particulier, quand le sous-arrangement idéal est égal à l’arrangement de Weyl, notre théorème principal donne la célèbre formule par Shapiro, Steinberg, Kostant et Macdonald. La démonstration du théorème principal n’utilise pas de classification. Elle dépend fortement de la théorie des arrangements libres et diffère ainsi grandement des démonstrations précédentes de la formule.